Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
491	Push-forth: a Light-weight, Strongly-typed, Stack-based Genetic Programming Language Maarten Keijzer Pegasystems Inc. Claude Debussylaan 20b Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-06-10 05:43:22 Data types Type theory Stack-oriented programming language Eval Forth Stack Joy Subroutine Instruction set Computing Software engineering Computer programming
492	Forth 200x Standardisation Committee Forth 2012 RC3 28th September, 2014 Notice: Status of this Document This is a draft proposed Standard to replace ANSI X3As such, this is not a completed standard. Add to Reading List Source URL: www.forth200x.org Language: English - Date: 2014-09-28 13:03:08 Procedural programming languages Forth Standards Consensus decision-making International Organization for Standardization ALGOL 68 SQL Standardization Computing Software engineering Programming language theory
493	Mining opportunities for unique inhabitants in dependent programs Gabriel Scherer, PhD Student under supervision of Didier R´emy Gallium – INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-09-29 11:09:42 Programming language theory Data types Formal methods Theoretical computer science Higher-order functions Type system Dependent type Lambda calculus Gallium Software engineering Computing Type theory
494	Millennial Perspectives in Computer Science, pages; Jim Davies, Bill Roscoe, Jim Woodcock eds;Palgrave, 2000 The Real World Michael Jackson 1 Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-03-15 05:39:44 ALGOL 68 Time Dimensional analysis Transmission Control Protocol Computing Programming language theory Software engineering
495	Feedback Generation for Performance Problems in Introductory Programming Assignments ∗ Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-08-18 13:49:14 Procedural programming languages Data types Functional languages ALGOL 68 String Scheme ATS Permutation Software engineering Programming language theory Computing
496	JEM/SMILES L2 Products Guide for ver) STRUCTURE OF STANDARD SMILES L2 PRODUCTS January 10, 2012 Add to Reading List Source URL: smiles.tksc.jaxa.jp Language: English - Date: 2013-05-06 22:06:39 C programming language Data types Hierarchical Data Format Data file Struct ALGOL 68 Computing Programming language theory Software engineering
497	Developer’s Guide to the PARI library (versionThe PARI Group Add to Reading List Source URL: pari.math.u-bordeaux.fr Language: English - Date: 2014-01-29 14:49:17 C++ C programming language Struct C++ classes ALGOL 68 Closure Software engineering Computing Programming language theory
498	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
499	Quering Incomplete Information in Semistructured Data Yaron Kanza Werner Nutty Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2013-07-05 10:39:50 Theoretical computer science Data management Conjunctive query Database theory Matching Query language SQL Decomposition method Computer languages Constraint programming Computing
500	PDF Document Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:52:25 Software engineering Logic in computer science Programming paradigms Association for Computing Machinery Models of computation Automata theory SIGNAL Formal verification Programming language Formal methods Computing Theoretical computer science

UPDATE